
public record Options(bool logging, int? port, string? directory);